منابع مشابه
Data representation synthesis Citation
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies. We describe a language of decompositions that permit the user to specify different concrete representations for relations, and...
متن کاملConcurrent data representation synthesis Citation
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the relations as sets of cooperating data structures as well as the placement and acquisition of locks to synchronize concurrent access to those data structures. The resulting code is correct by constr...
متن کاملSpectral data representation techniques for realistic image synthesis
Digital image synthesis is used in many industrial applications. One goal of this discipline is the physical correct simulation of natural phenomena such as the color of the blue sky or refraction in translucent materials. To accomplish this goal the usage of spectral data for the representation of color information is indispensable. For this purpose different methods were developed over the ye...
متن کاملTextual Data Representation
We address in this report the problem of representing formally textual data. First, this problem is replaced in the context of automatic text processing. Then, the weaknesses of the basic document representation, i.e. the bag-of-words representation, are explained and some state-ofthe-art methods claiming to overcome these weaknesses are reviewed. Moreover we propose a novel graphical model, th...
متن کاملRepresentation of Data
In contrast with higher-level programming languages, C does not provide strong abstractions for representing data. Indeed, while languages like Racket has a rich notion of data type—integers, floats, strings, tuples, lists, etc.—C has a low-level perspective on (primitive) data: a datum is either an integer or float of some finite size. While inconvenient at times, this perspective allows C pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2011
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1993316.1993504